A Formal Approach to Building Compositional Agent-Based Simulations
نویسندگان
چکیده
Why Read This Chapter? To be introduced to a more formal “computer-science” style of simulation design, especially suited to simulations of multi-level systems (e.g. firms, departments, and people). Abstract This chapter is an introduction to a more formal approach to designing agent-based simulations of organisations (in the widest sense). The basic method is the iterative refinement of structure, process and knowledge, decomposing each abstraction into near-decomposable components that can be (for the most part) then considered separately. Within this over all framework there are two complementary approaches: designing the organisation first, and designing the individual agents first.
منابع مشابه
Spatial modelling of zonality elements based on compositional nature of geochemical data using geostatistical approach: a case study of Baghqloom area, Iran
Due to the existence of a constant sum of constraints, the geochemical data is presented as the compositional data that has a closed number system. A closed number system is a dataset that includes several variables. The summation value of variables is constant, being equal to one. By calculating the correlation coefficient of a closed number system and comparing it with an open number system, ...
متن کاملModelling Cooperative Behaviour for Resource Access in a Compositional Multi-Agent Environment
Modelling and formally specifying agent knowledge required to deal with limited access to resources in a multi-agent situation, is the focus of this paper. Not only the static elements involved but also the dynamic element, namely the behaviour of the system, is explicitly modelled and specified. It will be shown how this results in a flexible, compositional specification that is applicable to ...
متن کاملModelling Cooperative Behaviour for Resource Access in a Compositional Multi-Agent Framework*
Modelling and formally specifying agent knowledge required to deal with limited access to resources in a multi-agent situation, is the focus of this paper. Not only the static elements involved but also the dynamic elements, namely the behaviour of the system, is explicitly modelled and specified. It will be shown how this results in a flexible, compositional specification that is applicable to...
متن کاملModelling Agents with Uml: an Example in Building Security Evalution
This paper proposes some extensions to UML for agent-based modelling and simulation, where the agents follow either a purely reactive or a hybrid layered approach (reactivity combined with proactivity). The extensions include notations for sensors, effectors and agent’s capabilities and their specification in a formal way. In this work, agent-based simulation is also proposed as a method to hel...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013